指数対象 (直積をもつ圏)
exponential object
冪対象
直積
を持つ圏
$ C
において
指数対象
$ z^y
$ \left[ y,z \right]
と書くこともある
函手
$ \_×y
から
$ z
への
普遍射
$ \left\lang z^y,\mathrm{eval} \right\rang
のこと
ここで
$ \mathrm{eval}\colon z^y×y→z
は
評価射
evaluator
gen.icon
指数対象
reference.icon
冪対象 - Wikipedia